An elementary operational calculus
نویسندگان
چکیده
منابع مشابه
An operational calculus for the Mould operad
The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture of the first author about the inverse image of non-crossing trees in the dendriform operad. Finally, we explain a connection with the formalism of noncommutat...
متن کاملElementary Constructive Operational Set Theory
We introduce an operational set theory in the style of [5] and [17]. The theory we develop here is a theory of constructive sets and operations. One motivation behind constructive operational set theory is to merge a constructive notion of set ([1], [2]) with some aspects which are typical of explicit mathematics [14]. In particular, one has non-extensional operations (or rules) alongside exten...
متن کاملAn Elementary Affine λ-Calculus with Multithreading and Side Effects
Linear logic provides a framework to control the complexity of higher-order functional programs. We present an extension of this framework to programs with multithreading and side effects focusing on the case of elementary time. Our main contributions are as follows. First, we introduce a modal call-by-value λ-calculus with multithreading and side effects. Second, we provide a combinatorial pro...
متن کاملAn Operational Petri Net Semantics for the Join-Calculus
We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by synchrony assumptions on the specification side and asynchronously interacting components in implementations. The join-calculus is promising to reduce this ...
متن کاملThe Propositional Mu-Calculus is Elementary
ACKNOWLEDGEMENT: The work of t h e second a u t h o r was supported i n p a r t by NSF g r a n t MCS-830287G.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Mathematical Gazette
سال: 2015
ISSN: 0025-5572,2056-6328
DOI: 10.1017/mag.2014.7